((v1 v6 8) (v10 v4 0) (v1 v9 8) (v5 v11 1) (v8 v11 7) (v6 v7 8) (v2 v11 3) (v1 v5 6) (v7 v11 2) (v5 v8 9) (v11 v3 4) (v8 v2 8) (v9 v10 6) (v10 v1 5) (v5 v6 1) (v6 v4 9) (v1 v7 0) (v7 v10 9) (v10 v6 7) (v5 v9 0) (v4 v11 2) (v8 v7 3) (v3 v5 0) (v7 v9 1) (v9 v8 1) (v2 v9 8) (v2 v7 0) (v4 v3 4) (v4 v5 9) (v8 v3 1))
138
((v5 v8) (v3 v4) (v8 v6))